Knowledge in Operation

The L, , knowledge representation language and an inference engine to interpret it have been developed as part of the LILOG project, where now concepts for understanding natural-language texts were investigated. L, is a typed predicate logic whose type system has adopted the concepts of KL-One-like languages. Further language constructs allow the formulation of default and control knowledge. The inference engine for L, was designed as an experimental theorem prover, allowing us to investigate the behavior of various inference calculi as well as a number of search strategies. Processing with LLILoG is not restricted to a propositional reasoner for logical formulas; we are also able to delegate special kinds of inferences to external deductive components. Currently, one such external reasoner for processing spatial information on the basis of analog representation is attached to the inference engine.